Ingrese una palabra o frase en cualquier idioma 👆
Idioma:
Traducción y análisis de palabras por inteligencia artificial ChatGPT
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
Qué (quién) es Винтовое исчисление - definición
Винтовое исчисление
раздел векторного исчисления (См. Векторное исчисление), в котором изучаются операции над винтами. При этом винтом называется пара векторов {a, b}, приложенных началами к одной точке О и удовлетворяющих условиям: при переходе к новой точке O' вектор а не изменяется, а вектор b заменяется вектором b' = b-[p, a], где р = OO'. Понятие винта используется в механике (равнодействующая f системы сил fi и главный момент m этой системы относительно точки системы образует винт {f, m}), в геометрии (в теории линейчатых поверхностей). В. и. было создано (1895) русским математиком А. П. Котельниковым.
Типизированное лямбда-исчисление
Типизированное лямбда-исчисление — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами. Допустимы различные наборы правил конструирования и приписывания таких меток, они порождают различные системы типизации.
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости.
Wikipedia
Винтовое исчисление
Винтово́е исчисле́ние — раздел векторного исчисления, в котором изучаются операции над винтами.
